TSTP Solution File: COM207^1 by SInE---0.4